And-inverter graph